normal solvability

正规可解性